Search results for "Programming language theory"

showing 6 items of 6 documents

Concept Analysis in Programming Language Research : Done Well It Is All Right

2017

Programming language research is becoming method conscious. Rigorous mathematical or empirical evaluation is often demanded, which is a good thing. However, I argue in this essay that concept analysis is a legitimate research approach in programming languages, with important limitations. It can be used to sharpen vague concepts, and to expose distinctions that have previously been overlooked, but it does not demonstrate the superiority of one language design over another. Arguments and counter-arguments are essential to successful concept analysis, and such thoughtful conversations should be published more. peerReviewed

Computer scienceResearch methodologynon-empirical research02 engineering and technology0603 philosophy ethics and religioncomputer.software_genreohjelmointikieletArgumentation theoryargumentationfilosofia0202 electrical engineering electronic engineering information engineeringFormal concept analysisresearch methodologyconcept analysista113philosophyProgramming languageNatural language programming020207 software engineering06 humanities and the artsprogramming language research060302 philosophyargumentointicomputerkäsiteanalyysiProgramming language theory
researchProduct

K-12 game programming course concept using textual programming

2011

Several programming environments have been constructed to facilitate novice programming at K-12 and CS0/CS1 levels. The environments can be roughly divided into those using visual or textual programming. This paper presents a K-12 game programming course concept based on textual programming. The concept is based on an easy-to-use C# library, called Jypeli, built on top of Microsoft XNA Framework. The library tries to maintain advantages of visual programming and avoid challenges of textual programming. In particular, the library helps beginners to program their first games in a short period of time and without a heavy syntactic load. The course concept and an initial evaluation consisting o…

Functional logic programmingComputer sciencecomputer.software_genreExtensible programmingVery high-level programming languageComputingMilieux_COMPUTERSANDEDUCATIONConstraint programmingReactive programmingFifth-generation programming languageProgramming domainProtocol (object-oriented programming)Visual programming languageDeclarative programmingta113Symbolic programmingbusiness.industryProgramming languageInductive programmingConcurrent object-oriented programmingImperative programmingProcedural programmingProgramming paradigmSoftware engineeringbusinessFirst-generation programming languagecomputerFunctional reactive programmingProgramming language theoryProceedings of the 42nd ACM technical symposium on Computer science education
researchProduct

Graph-grammar semantics of a higher-order programming language for distributed systems

1994

We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational semantics given as algebraic graph rewrite rules in a certain category of labeled graphs. Our approach allows to separate actions which affect several processes from local changes such as variable bindings. We also sketch how to derive an implementation from this specification.

Graph rewritingTheoretical computer scienceComputer scienceProgramming languageDistributed computingcomputer.software_genreAbstract semantic graphOperational semanticsAction semanticsDenotational semanticsWell-founded semanticsComputer Science::Programming LanguagescomputerFailure semanticsProgramming language theory
researchProduct

Usability of Programming Languages

2016

Programming languages form the interface between programmers (the users) and the computation that they desire the computer to execute. Although studies exist for some aspects of programming language design (such as conditionals), other aspects have received little or no human factors evaluations. Designers thus have little they can rely on if they want to make new languages highly usable, and users cannot easily chose a language based on usability criteria. This SIG will bring together researchers and practitioners interested in increasing the depth and breadth of studies on the usability of programming languages, and ultimately in improving the usability of future languages. nonPeerReviewed

Pluralistic walkthroughCognitive walkthroughComputer scienceComputer programmingprogramming language usabilityUsability inspection02 engineering and technologycomputer.software_genreUsability labWorld Wide WebHuman–computer interaction020204 information systemsHeuristic evaluationUsability engineeringenduser software engineering (EUSE)0202 electrical engineering electronic engineering information engineeringpsychology of programmingFifth-generation programming languageComponent-based usability testingWeb usabilityAgile usability engineeringbusiness.industryProgramming languagePsychology of programming020207 software engineeringUsabilitySecond-generation programming languageempirical studies of programmersAPI usabilityProgramming paradigmFourth-generation programming languagebusinesscomputerProgramming language theoryProceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems
researchProduct

Another defence of enumerated types

1991

I claim that enumerations, while of course not strictly necessary, are an elegant and useful facility in modern programming languages. I try to show that arguments recently given against them are weak at best and bogus a t worst, for general-purpose programming. Some related issues on types in programming languages are touched as well. These make it even more questionable whether Oberon marks progress or regress in language design.

Symbolic programmingEnumerated typeProgramming languageComputer scienceComparison of multi-paradigm programming languagesNatural language programmingSecond-generation programming languageProgramming language generationscomputer.software_genreComputer Graphics and Computer-Aided DesignVery high-level programming languageThird-generation programming languageLanguage primitiveHigh-level programming languageProgramming language specificationProgramming paradigmFourth-generation programming languageFifth-generation programming languagecomputerLow-level programming languageSoftwareProgramming language theoryACM SIGPLAN Notices
researchProduct

Use of a Semantic Language to Reduce the Indeterminacy in Agents Communication

2014

In the field of agent communications uncertainty and vagueness in the message content and in the achievable results play a primordial role when two agents (human or artificial) communicate. Even though the importance of vagueness and uncertainty has been recognized long ago, only recently mechanisms related to the communications’ semantics that allow a practical approach have been designed; more specifically, the development of tools such as agent programming languages and frameworks, which is a field of intensive research. On the other hand, recent theoretical ideas, drawn from situation semantics theory and the works of Sutton on semantic information, support this work. This paper applies…

ta113business.industryComputer scienceVaguenessSemanticsOperational semanticscommunications semanticsSoftware agentWell-founded semanticsHuman–computer interactionmulti-agent systems programming languageFourth-generation programming languageArtificial intelligenceFifth-generation programming languageta518businessProgramming language theory
researchProduct